rice's theorem example